J:[
]where e
  implements T
i
